georgefst
0 Followers · 0 Following
  • Joined on 2025-09-02
Repositories
2
 Projects Packages Public Activity Starred Repositories
georgefst pushed to th-record-dot at georgefst/garnet 2026-02-20 09:09:17 +00:00
5aa0cdc38d try using record dots with TH
georgefst pushed to main at georgefst/garnet 2026-02-20 09:08:38 +00:00
96ec5c1cb1 Switch to Template Haskell mode for hs-bindgen
20b47594c6 Avoid IO for tree sum
71e4ffaede Make Rust tree type polymorphic
58005ee261 Refactor to use continuation monad
ca063b1dd6 Rename tree types
Compare 8 commits »
georgefst pushed to main at georgefst/garnet 2026-02-19 17:23:31 +00:00
2a80e5b219 Minor simplification
e977181252 Avoid typedefs
9ca4f615d8 Use simpler tagged union translation
5019af701f Mark pure function
5907a064a7 Use fixed-width integers
Compare 5 commits »
georgefst pushed to main at georgefst/garnet 2026-02-19 16:31:23 +00:00
5d2ba1a217 Minor simplification
528cf7b8d7 Avoid typedefs
cb05afc21d Use simpler tagged union translation
604bc8cf2f Mark pure function
6468f15d73 Use fixed-width integers
Compare 21 commits »
georgefst pushed to main at georgefst/garnet 2026-02-19 14:23:39 +00:00
569fae5d32 Move Haskell package to top level
dba9dbfc78 Rename Haskell.nix flake input
738315da88 Bump flake inputs
4606c040f8 Reformat
f539fe609a Refactor Nix flake inputs
Compare 19 commits »
georgefst pushed to main at georgefst/garnet 2026-02-19 11:35:00 +00:00
24359a519c more LLVM
georgefst pushed to main at georgefst/garnet 2026-02-19 11:33:19 +00:00
aa05650ec8 add LLVM lib
georgefst pushed to main at georgefst/garnet 2026-02-19 11:21:45 +00:00
34ce6078ba wip
georgefst pushed to main at georgefst/garnet 2026-02-19 11:16:04 +00:00
e53fb108f4 Simplify use sites by passing by value
14ef0237cb Use ByteString
96daf482ca Add more complex data types
ad78170066 Expose explicit C interface
b1d8b6e1bf Move Haskell executable in to subdirectory
Compare 8 commits »