Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
João Pizani
lambda1-hdl
Repository
Branches
Overview
Active
Stale
All
uncurried-gates
928da593
·
Using only two levels of abstraction, initial and final. Finishing this branch
·
Feb 24, 2017
state-function
d9e0dad4
·
Comparison relation of distinguished elem from -par with final state of -seq...
·
Jul 03, 2017
n-ary-vectors
97faa7c4
·
andN defined with foldl-par
·
Jul 05, 2017
arrow-types
5d6fcd3f
·
Improved on the ports and uncurryUp functions
·
Jul 12, 2017
vectors-elim-case
d939aef4
·
Example with casevec stuck
·
Jul 20, 2017
paper-2017-comb-seq
74eb1661
·
Made zipWith a primitive ctr, Simulation clause hanging
·
Jan 18, 2018
gates-modules
dbb33b27
·
Remove old way of doing things
·
Apr 09, 2018
vectors-elim-head-tail
e64d3fd1
·
Fixed the other issues in the Samples subdir
·
May 07, 2018
gates-state
e0ed635f
·
Sketch of triangle insertion/selection sorter back in the Samples subdir for...
·
Aug 09, 2018
gates-uncurried
ce0ce2f9
·
Fix lots of places where the curried gates previously were used
·
Oct 22, 2018
generalizable-variable
209f4efc
·
Done generalizable-variable
·
Apr 17, 2019
samples-gates-xander-highlevel
8a57c83e
·
Finish sham model while trying to clean up some De Bruijn sadness :/
·
May 29, 2019
master
default
protected
16b5070c
·
Renaming λs into St
·
Nov 28, 2022