jbwdevries/phasm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
150 Commits 4 Branches 0 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Johan B.W. de Vries
f5f288d022 Replaces type3 with type5 
type5 is much more first principles based, so we get a lot
of weird quirks removed:

- FromLiteral no longer needs to understand AST
- Type unifications works more like Haskell
- Function types are just ordinary types, saving a lot of
  manual busywork

and more.
 2025-08-19 17:37:43 +02:00
Johan B.W. de Vries
a72bd60de2 Adds functions as passable values 2025-05-17 19:43:52 +02:00