Alain Zscheile fogti · she/her
1 follower · 0 following
  • Joined on 2022-08-01
Repositories
22
 Projects Packages Code Public activity Starred repositories
fogti pushed to main at fogti/yanais 2023-10-30 19:12:20 +00:00
172ff10663 rust: move mrwy57u's record into core
fogti pushed to main at fogti/yanais 2023-10-30 19:02:39 +00:00
5b6d126e28 rust: keywords should be a trait parameter
fogti pushed to main at fogti/yanais 2023-10-30 18:47:55 +00:00
1360293675 rename yn-utils to yanais-core and move lexer into it
fogti created branch try01 in fogti/yanais 2023-10-29 18:15:14 +00:00
fogti pushed to try01 at fogti/yanais 2023-10-29 18:15:14 +00:00
85d410d2cf [WIP]
fogti pushed to main at fogti/yanais 2023-10-28 21:25:40 +00:00
f87a8ede9b haskell: + Administrative normal form
fogti pushed to main at fogti/yanais 2023-10-28 19:46:55 +00:00
02acd9e583 haskell: merge inferrable and checkable types
fogti pushed to main at fogti/yanais 2023-10-28 11:28:22 +00:00
ec45a765d7 haskell: report value evaluation errors
fogti pushed to main at fogti/yanais 2023-10-27 22:17:31 +00:00
312e9e2d79 haskell: some type-checking, kinda...
fogti pushed to main at fogti/yanais 2023-10-27 19:59:45 +00:00
c2006152f5 haskell: add stuff for references and a hack for quote
fogti pushed to main at fogti/yanais 2023-10-27 17:31:26 +00:00
f3d3ed3e7f haskell/nfker7h: basic AST stuff
fogti pushed to main at fogti/yanais 2023-10-27 16:07:13 +00:00
ae1a1c30ff haskell : [WIP]
fogti pushed to main at fogti/yanais 2023-10-27 14:03:12 +00:00
c2df05f568 haskell: add Parser.List.takeWhile
fogti pushed to main at fogti/yanais 2023-10-26 11:31:43 +00:00
cf0092b5ca haskell: split out core library
fogti pushed to main at fogti/yanais 2023-10-26 10:53:19 +00:00
0e306b7eb0 haskell: split out core library
fogti pushed to main at fogti/yanais 2023-10-26 10:41:14 +00:00
c0ccf3d05b haskell: use Semigroup in ParserError
fogti pushed to main at fogti/yanais 2023-10-25 23:18:07 +00:00
ac71ebd9b9 haskell: split generic parser into generic and bytestring-specific parts
fogti pushed to main at fogti/yanais 2023-10-25 22:44:58 +00:00
926176eafd haskell: use Numeric.Natural (we know that our numbers are unsiged)
fogti pushed to main at fogti/yanais 2023-10-25 22:08:30 +00:00
65f2f50a9b haskell: parse Integers
fogti pushed to main at fogti/yanais 2023-10-25 20:36:41 +00:00
87a72c019f haskell: tryOne should actually backtrack on failure