sourcephile
/
git
/
haskell
/
symantic-base.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
doc: clarify `(-->)`
[haskell/symantic-base.git]
/
src
/
Symantic
/
Syntaxes
/
2024-02-10
Julien Moutinho
doc: clarify `(-->)`
tree
|
commitdiff
2023-09-14
Julien Moutinho
iface: remove `Abstractable` constraint from `(<>)`
tree
|
commitdiff
2023-09-14
Julien Moutinho
iface: remove `Abstractable` constraint from `(==)`
tree
|
commitdiff
2023-09-07
Julien Moutinho
iface: rename syntax `Functionable` to `Unabstractable`
tree
|
commitdiff
2023-09-07
Julien Moutinho
iface: rename syntax `Unabstractable` to `Instantiable`
tree
|
commitdiff
2023-09-07
Julien Moutinho
iface: move `Syntaxes.Data` to `Semantics.Data`
tree
|
commitdiff
2023-08-30
Julien Moutinho
doc: move description to modules' header
tree
|
commitdiff
2023-08-30
Julien Moutinho
doc: reformat comments
tree
|
commitdiff
2023-08-30
Julien Moutinho
iface: split syntax `Abstractable` into `Abstractable1...
tree
|
commitdiff
2023-08-30
Julien Moutinho
iface: add semantic `Forall`
tree
|
commitdiff
2023-08-30
Julien Moutinho
doc: improve comment about `Derivable`
tree
|
commitdiff
2023-08-30
Julien Moutinho
doc: rename type variable `able` to `syn`
tree
|
commitdiff
2023-08-30
Julien Moutinho
doc: remove old comments
tree
|
commitdiff
2023-07-17
Julien Moutinho
doc: fix comment about `CurryN`
tree
|
commitdiff
2023-07-17
Julien Moutinho
impl: fix `(:!:)` completeness warning
tree
|
commitdiff
2023-07-17
Julien Moutinho
iface: add the `a` parameter to the `Dataable` class
tree
|
commitdiff
2023-07-17
Julien Moutinho
iface: remove `ToFer` semantic in favor of `(-->)`
tree
|
commitdiff
2023-07-01
Julien Moutinho
iface: add instance `Eq Endpoint` and `Show Endpoint`
tree
|
commitdiff
2023-06-26
Julien Moutinho
iface: fix `data_` constraints to handle contravariant...
tree
|
commitdiff
2023-01-25
Julien Moutinho
iface: add `Endpoint`
tree
|
commitdiff
2023-01-25
Julien Moutinho
impl: rename module `ADT` to `EithersOfTuples`
tree
|
commitdiff
2023-01-25
Julien Moutinho
iface: replace `adt` by `dataType`, and support `Tuples...
tree
|
commitdiff
2023-01-25
Julien Moutinho
iface: remove syntax `Routable`
tree
|
commitdiff
2023-01-25
Julien Moutinho
doc: fix remaining `<:>` to `<.>`
tree
|
commitdiff
2023-01-25
Julien Moutinho
iface: add syntax for `either`
tree
|
commitdiff
2023-01-25
Julien Moutinho
iface: fix gather in submodules
tree
|
commitdiff
2022-11-22
Julien Moutinho
iface: move `(.@)` into `Unabstractable`
tree
|
commitdiff
2022-11-22
Julien Moutinho
impl: rename type variable `repr` to `sem`
tree
|
commitdiff
2022-11-22
Julien Moutinho
iface: add syntax `IfSemantic`
tree
|
commitdiff
2022-11-22
Julien Moutinho
impl: gather in submodules
tree
|
commitdiff
sourcephile / git / haskell / symantic-base.git / history