GitHub - possientis/Prog: basic code practice

Name		Name	Last commit message	Last commit date
Latest commit History 2,060 Commits
agda		agda
ansible		ansible
ant		ant
asm		asm
bison		bison
c#		c#
c++		c++
c		c
clojure		clojure
coq		coq
docker		docker
dot		dot
gradle		gradle
haskell		haskell
hol		hol
html		html
idris		idris
java		java
js		js
lean		lean
lib		lib
lua		lua
make		make
maven		maven
nix		nix
ocaml		ocaml
perl		perl
php		php
poly		poly
python		python
r		r
ruby		ruby
scala		scala
scheme		scheme
sed		sed
shell		shell
sml		sml
tex		tex
vim		vim
.gitattributes		.gitattributes
.gitignore		.gitignore
clean.sh		clean.sh
ext.sh		ext.sh
test.sh		test.sh