Random tools I've written for myself and I could not think of anywhere else to put them.
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Craige McWhirter ecb7468389
Added duLazy
2 years ago
.gitignore Ignoring swp files 2 years ago
Cat.hs Updated license. 6 years ago
LICENSE Added license 7 years ago
README.rst Added README 7 years ago
coa.py Initial commit 5 years ago
duLazy.hs Added duLazy 2 years ago
listDirectory.hs Initial commit 2 years ago
parabola.hs Added a comment for prompt. 7 years ago


<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> </head>

MIO Tools

Just a collection of random tools I've written and used that aren't quite up to being their own thing.


Currently just takes a height and width measurement to calculate the length of the arc. Useful for working out how much poly pipe you need to buy when making poly tunnels.