joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at research/dope2 2025-03-20 18:35:04 +01:00
c5ac55b0ff progress with type classes, type inference still very ad-hoc
joeri pushed to master at research/dope2 2025-03-20 18:12:34 +01:00
5283be608b refactor code: move everything from type_registry to "most appropriate" modules
joeri pushed to master at research/dope2 2025-03-20 17:29:18 +01:00
4ca60784aa greatly simplify type registry
joeri pushed to master at research/dope2 2025-03-20 14:14:33 +01:00
303fa869a8 ... got it wrong
joeri pushed to master at research/dope2 2025-03-20 14:09:22 +01:00
9405ba1b4e add String type + use String to make nominal types unique (worse, but more pleasant when debugging)
joeri pushed to master at research/dope2 2025-03-20 12:07:36 +01:00
18b5e56ff0 add nominal types for 2D points
joeri pushed to master at research/dope2 2025-03-20 09:54:16 +01:00
94efde3e65 add interactive prompt
joeri pushed to master at research/dope2 2025-03-19 16:13:14 +01:00
ce192b49f2 move file
joeri pushed to master at research/dope2 2025-03-19 16:02:05 +01:00
fc1a588e23 clean up module generic a bit
joeri pushed to master at research/dope2 2025-03-19 15:45:19 +01:00
a826f475c3 preliminary implementation of polymorphic types and type inferencing
e892ade34d rename function
Compare 2 commits »
joeri pushed to master at research/dope2 2025-03-17 20:33:30 +01:00
97b4e83379 add serializable iface
joeri pushed to master at research/dope2 2025-03-17 20:15:03 +01:00
3d08485a08 list of byte encoded as JS Uint8Array + demo more readable
joeri created branch master in research/dope2 2025-03-17 17:55:42 +01:00
joeri pushed to master at research/dope2 2025-03-17 17:55:42 +01:00
574651ccb7 Add product and sum types
6023efc295 use fnType everywhere to create function types
a8260f2afb basic functionality, no generics
joeri created repository research/dope2 2025-03-17 17:55:16 +01:00
joeri pushed to master at joeri/nixos-public 2025-03-14 11:39:48 +01:00
c75e5c98b2 update inputs + install finamp
joeri pushed to master at joeri/nixos-public 2025-03-13 13:49:46 +01:00
662fc2358e add xkill
joeri pushed to master at joeri/nixos-public 2025-03-11 15:50:50 +01:00
f05f951cd2 install alacritty and vscode
joeri pushed to master at joeri/nixos-public 2025-03-10 13:29:58 +01:00
dc7eb55029 update
joeri pushed to master at joeri/nixos-public 2025-03-04 15:27:59 +01:00
82d3015f9b update nixpkgs