| 
					
						
							
								
								
								
									
									
									
										lib
									
								
							
						
					
				 | 
				
					
						
							
							feat: Move the Result type into moxlib
						
					
				 | 
				2023-06-17 21:16:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										test
									
								
							
						
					
				 | 
				
					
						
							
							feat: Move the Result type into moxlib
						
					
				 | 
				2023-06-17 21:16:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								.gitignore
							
						
					
				 | 
				
					
						
							
							Initial commit
						
					
				 | 
				2022-04-27 21:49:36 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								.metadata
							
						
					
				 | 
				
					
						
							
							Initial commit
						
					
				 | 
				2022-04-27 21:49:36 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								.woodpecker.yml
							
						
					
				 | 
				
					
						
							
							ci: Use pubcached also for the tests
						
					
				 | 
				2023-08-22 19:51:08 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								analysis_options.yaml
							
						
					
				 | 
				
					
						
							
							feat: Lint and format
						
					
				 | 
				2023-06-17 21:14:17 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								CHANGELOG.md
							
						
					
				 | 
				
					
						
							
							feat: Implement a mathematical implication
						
					
				 | 
				2022-05-13 13:46:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								flake.lock
							
						
					
				 | 
				
					
						
							
							ci: Fix the CI by using pubcached
						
					
				 | 
				2023-08-22 19:46:30 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								flake.nix
							
						
					
				 | 
				
					
						
							
							ci: Fix the CI by using pubcached
						
					
				 | 
				2023-08-22 19:46:30 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								LICENSE
							
						
					
				 | 
				
					
						
							
							Initial commit
						
					
				 | 
				2022-04-27 21:49:36 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								pubspec.yaml
							
						
					
				 | 
				
					
						
							
							ci: Fix the CI by using pubcached
						
					
				 | 
				2023-08-22 19:46:30 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								README.md
							
						
					
				 | 
				
					
						
							
							Initial commit
						
					
				 | 
				2022-04-27 21:49:36 +02:00 |