issues
search
Plutonomicon
/
plutarch-core
Plutarch 2.0
MIT License
19
stars
6
forks
source link
Exported constructors, made the default type backend NoTypeInfo. Made Term a newtype.
#17
Closed
Icelandjack
closed
2 years ago
Icelandjack
commented
2 years ago
Exported constructors from PDSLKind, PLet.
Made NoTypeInfo the defaut IsPTypeBackend.
Made Term a newtype and added plam2, it will be later replaced by the n-ary version.
Renamed
eembed
to
pembed
L-as
commented
2 years ago
Thanks!
eembed
topembed