зеркало из
				https://github.com/iharh/notes.git
				synced 2025-10-29 12:46:06 +02:00 
			
		
		
		
	Notes
My [mostly textual] notes.
Sample quadratic equation is ax2 + bx + c = 0
Описание
				
					Languages
				
				
								
								
									Haskell
								
								35.6%
							
						
							
								
								
									Coq
								
								33.1%
							
						
							
								
								
									Shell
								
								12.2%
							
						
							
								
								
									Perl
								
								8.4%
							
						
							
								
								
									Emacs Lisp
								
								5.3%
							
						
							
								
								
									Разное
								
								5.4%
							
						
					